-
1 вычислительная модель
Большой англо-русский и русско-английский словарь > вычислительная модель
-
2 вычислительная модель
computation( al) modelАнгло-русский словарь технических терминов > вычислительная модель
-
3 computation model
Большой англо-русский и русско-английский словарь > computation model
-
4 computational model
Большой англо-русский и русско-английский словарь > computational model
-
5 computation(al) model
Англо-русский словарь технических терминов > computation(al) model
-
6 computation(al) model
Англо-русский словарь технических терминов > computation(al) model
-
7 computational model
Англо-русский словарь по компьютерной безопасности > computational model
-
8 computer model
-
9 computational model
English-Russian dictionary of computer science > computational model
-
10 computer-generated turbulence
-
11 computer model
[kəm'pjuːtə'mɒdl]1) Общая лексика: математическая модель для расчёта на ЭВМ (системы, процесса)2) Техника: машинная модель3) Космонавтика: вычислительная модель, математическая модель4) Геофизика: компьютерная модель5) Контроль качества: вычислительная (математическая) модель6) Макаров: расчётная модель -
12 model
ˈmɔdl
1. сущ.
1) а) модель;
макет (уменьшенная копия чего-л.) a ship model ≈ модель корабля Syn: small-scale reproduction б) модель, шаблон clay models for a statue ≈ модели из глины для статуи
2) модель (идеализированное или упрощенное описание чего-л.) mathematical model ≈ математическая модель model of economy ≈ модель экономики production model ≈ модель производства
3) а) образец, эталон to pose as a model ≈ выдавать за образец to serve as a model ≈ служить образцом to take as a model ≈ брать за образец a model of politeness ≈ образец вежливости role model ≈ образец для подражания Syn: standard
1., ideal
1. б) биол. модель (организм, которому подражают в мимикрии)
4) а) натурщик, натурщица artist's model ≈ натурщица художника photographer's model ≈ модель фотографа б) манекенщик, манекенщица в) эвф. проститутка
5) тип, марка, модель Model T ≈ первые марки автомобилей, выпущенных фирмой Форда Syn: make, design
1.
2. гл.
1) лепить to model a cat in clay ≈ лепить кошку из глины Syn: fashion
2.
2) моделировать( систему и т. п.) to model the circulation in the atmosphere ≈ моделировать движение воздушных масс to model the urban system ≈ моделировать городскую систему
3) а) создавать, конструировать (на основе каких-л. принципов и т. п.) б) делать по образцу( чего-л.;
after, on) a sports car modeled on a racing car ≈ спортивный автомобиль, сделанный по образцу гоночного Syn: pattern after
4) а) позировать, работать натурщиком, натурщицей to model for an artist ≈ позировать художнику б) демонстрировать модели (о манекенщицах)
3. прил.
1) образцовый, примерный As a girl she has been a model pupil. ≈ В детстве она была примерной ученицей. Hospital staff say he is a model patient. ≈ Весь персонал больницы утверждает, что он идеальный пациент.
2) являющийся моделью the collecting of model soldiers ≈ коллекционирование солдатиков, являющихся копией настоящих солдат модель, макет - working * действующая модель - a * of a monument макет памятника - plane * модель самолета модель, образец;
слепок, шаблон - constructed after * сконструировано по образцу /по шаблону/ - he made each box on the * of the first он сделал все коробки по образцу первой модель, фасон - the latest Paris *s новейшие /последние/ парижские модели - * frock модель платья образец - a * of virtue образец добродетели - on the * of smb., smth. по образцу /по примеру/ кого-л., чего-л. - to take smb. as one's * взять кого-л. за образец - * behaviour образцовое /примерное/ поведение - * farm образцовая ферма - * husband идеальный муж модель, тип, марка конструкции - the latest *s of cars последние модели автомобилей - a sports * спортивная модель (автомобиля) (диалектизм) точная копия - she is a perfect /the very/ * of her mother она точная копия своей матери натурщик;
натурщица - I worked as a photographer's * меня снимали для журнала, я работала фотомоделью манекенщица (для демонстрации моделей одежды) ;
манекенщик (тж. male *) манекен (эвфмеизм) проститутка, приходящая по вызову делать, создавать модель или макет;
моделировать;
лепить - to * ships делать модели кораблей - to * dresses работать модельером, создавать модели /фасоны/ платьев - to * smth. in clay вылепить что-л. из глины - he *led her head in wax он сделал восковую модель ее головы (техническое) формовать делать, создавать по образцу;
следовать образцу - his work is *led on /upon, after/ the Spanish в своих произведениях он использовал испанские образцы;
в своих произведениях он следовал /подражал/ испанским образцам - to * oneself on /upon, after/ smb. подражать кому-л., брать пример с кого-л. (в своем поведении) - he *led his behaviour on that of his father в своем поведении он подражал отцу /следовал примеру отца/ быть натурщиком, натурщицей, живой моделью быть манекенщицей - she *s for a living она работает манекенщицей, она зарабатывает на жизнь, демонстрируя модели одежды - she *led dresses она демонстрировала платья abstract ~ абстрактная модель abstract ~ building вчт. абстрактное моделирование allocation ~ модель распределения analytical ~ аналитическая модель associative ~ ассоциативная модель autonomous ~ автономная модель autoregressive ~ авторегрессионная модель backlogging ~ модель с задалживанием роста заказов battle ~ модель боя behavioral ~ модель поведения binomial ~ биномиальная модель binomial ~ биномиальное распределение clay-clay ~ жесткая модель closed ~ замкнутая модель coalition ~ модель коалиции cobweb ~ паутинообразная модель cognitive ~ когнитивная модель communication ~ модель общения computational ~ вычислительная модель computer ~ машинная модель conceptual ~ концептуальная модель cyclic queueing ~ вчт. циклическая модель массового обслуживания data ~ вчт. модель данных decision ~ модель принятия решений decision-theory ~ модель выбора решений decision-theory ~ модель принятия решений double-risk ~ модель с двойным риском dynamic ~ динамическая модель dynamic programming ~ вчт. модель динамического программирования econometric ~ эконометрическая модель entity-relationship ~ модель типа объект-отношение equilibrium ~ модель равновесия estimation ~ модель оценивания explaining ~ поясняющая модель finite-horizon ~ модель с конечным интервалом fixed-horizon ~ модель с постоянным интервалом fixed-service-level ~ модель с фиксированным уровнем обслуживания formal ~ формальная модель game ~ игровая модель game-theory ~ теоретико-игровая модель general duel ~ общая модель дуэли generalized ~ обобщенная модель generic ~ типовая модель global ~ глобальная модель imaging ~ модель изображений interindustry programming ~ вчт. межотраслевая модель программирования interruption ~ модель с возможностью прерывания обслуживания knowledge ~ вчт. модель знаний labyrinth ~ лабиринтная модель language ~ модель языка learning ~ модель обучения linear ~ линейная модель linear programming ~ модель линейного программирования linear regressive ~ линейный регрессионная модель linguistic ~ лингвистическая модель logical ~ логическая модель logical-linguistic ~ логико-лингвистическая модель macrosectoral ~ макроотраслевая модель many-server ~ вчт. многоканальная модель master-workers ~ модель хозяин-работники matrix ~ матричная модель model быть натурщиком, натурщицей, живой моделью, манекенщицей ~ живая модель (в магазине одежды) ~ макет ~ манекен ~ моделировать;
лепить ~ модель, макет;
шаблон ~ модель ~ натурщик;
натурщица ~ образец, эталон ~ образец ~ attr. образцовый, примерный ~ оформлять ~ примерный, типовой( о конвенции, уставе и т.д.) ~ создавать по образцу (чего-л.;
after, on) ;
to model oneself ((up) on smb.) брать (кого-л.) за образец ~ тип ~ разг. точная копия ~ тех. формировать ~ шаблон ~ создавать по образцу (чего-л.;
after, on) ;
to model oneself ((up) on smb.) брать (кого-л.) за образец moving-average ~ модель скользящего среднего multichannel priority ~ вчт. многоканальная модель с приоритетами multifactor ~ многофакторная модель multiple ~ многоуровневая модель multistation queueing ~ вчт. многоканальная модель обслуживания network ~ сетевая модель no-backlog ~ модель без задалживания заказов no-queue ~ модель без образования очереди non-poisson ~ непуассоновская модель one-factor ~ однофакторная модель one-period ~ однопериодная модель open ~ открытая модель open ~ разомкнутая модель operations research ~ модель исследования операций phenomenological ~ феноменологическая модель pictorial ~ графическая модель pilot ~ опытный образец pilot: ~ plant опытный завод, опытная установка;
pilot model опытная модель poisson ~ пуассоновская модель predicitive ~ прогнозирующая модель preference ~ модель предпочтений priority ~ модель с приоритетами probability ~ вероятностная модель probability ~ стохастическая модель production ~ производственная модель prognostic ~ прогностическая модель queueing ~ модель массового обслуживания queueing ~ модель очереди random ~ вероятностная модель random ~ стохастическая модель reduced ~ упрощенная модель regression ~ регрессионная модель relational ~ реляционная модель scaling ~ шкальная модель security ~ модель механизма защиты semi-poisson ~ полупуассоновская модель shortest-route ~ модель выбора кратчайшего пути sign ~ знаковая модель simplex ~ симплексная модель simulation ~ имитационная модель single-channel ~ одноканальная модель single-period ~ однопериодная модель single-phase ~ однофазовая модель single-server ~ одноканальная модель singular ~ одноуровневая модель software ~ вчт. программная модель solid ~ объемная модель sophisticated ~ усложненная модель standard ~ типовая модель static equilibrium ~ модель статического равновесия static inventory ~ статическая модель управления запасами static ~ статическая модель station-to-station ~ многошаговая модель stochastic ~ вероятностная модель teaching ~ учебная модель (машины, оборудования) three-dimensional ~ трехмерная модель transportation ~ транспортная задача transshipment ~ модель перевозок с промежуточными пунктами trend-free ~ модель с отсутствием тренда trial ~ испытательный образец trial ~ пробный образец two-echelon ~ двухступенчатая модель two-state ~ модель с двумя состояниями user ~ модель пользователя waiting line ~ модель очереди wire-frame ~ каркасная модель world decision ~ всеобщая модель решений world ~ модель мира -
13 model
[ˈmɔdl]abstract model абстрактная модель abstract model building вчт. абстрактное моделирование allocation model модель распределения analytical model аналитическая модель associative model ассоциативная модель autonomous model автономная модель autoregressive model авторегрессионная модель backlogging model модель с задалживанием роста заказов battle model модель боя behavioral model модель поведения binomial model биномиальная модель binomial model биномиальное распределение clay-clay model жесткая модель closed model замкнутая модель coalition model модель коалиции cobweb model паутинообразная модель cognitive model когнитивная модель communication model модель общения computational model вычислительная модель computer model машинная модель conceptual model концептуальная модель cyclic queueing model вчт. циклическая модель массового обслуживания data model вчт. модель данных decision model модель принятия решений decision-theory model модель выбора решений decision-theory model модель принятия решений double-risk model модель с двойным риском dynamic model динамическая модель dynamic programming model вчт. модель динамического программирования econometric model эконометрическая модель entity-relationship model модель типа объект-отношение equilibrium model модель равновесия estimation model модель оценивания explaining model поясняющая модель finite-horizon model модель с конечным интервалом fixed-horizon model модель с постоянным интервалом fixed-service-level model модель с фиксированным уровнем обслуживания formal model формальная модель game model игровая модель game-theory model теоретико-игровая модель general duel model общая модель дуэли generalized model обобщенная модель generic model типовая модель global model глобальная модель imaging model модель изображений interindustry programming model вчт. межотраслевая модель программирования interruption model модель с возможностью прерывания обслуживания knowledge model вчт. модель знаний labyrinth model лабиринтная модель language model модель языка learning model модель обучения linear model линейная модель linear programming model модель линейного программирования linear regressive model линейный регрессионная модель linguistic model лингвистическая модель logical model логическая модель logical-linguistic model логико-лингвистическая модель macrosectoral model макроотраслевая модель many-server model вчт. многоканальная модель master-workers model модель хозяин-работники matrix model матричная модель model быть натурщиком, натурщицей, живой моделью, манекенщицей model живая модель (в магазине одежды) model макет model манекен model моделировать; лепить model модель, макет; шаблон model модель model натурщик; натурщица model образец, эталон model образец model attr. образцовый, примерный model оформлять model примерный, типовой (о конвенции, уставе и т.д.) model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец model тип model разг. точная копия model тех. формировать model шаблон model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец moving-average model модель скользящего среднего multichannel priority model вчт. многоканальная модель с приоритетами multifactor model многофакторная модель multiple model многоуровневая модель multistation queueing model вчт. многоканальная модель обслуживания network model сетевая модель no-backlog model модель без задалживания заказов no-queue model модель без образования очереди non-poisson model непуассоновская модель one-factor model однофакторная модель one-period model однопериодная модель open model открытая модель open model разомкнутая модель operations research model модель исследования операций phenomenological model феноменологическая модель pictorial model графическая модель pilot model опытный образец pilot: model plant опытный завод, опытная установка; pilot model опытная модель poisson model пуассоновская модель predicitive model прогнозирующая модель preference model модель предпочтений priority model модель с приоритетами probability model вероятностная модель probability model стохастическая модель production model производственная модель prognostic model прогностическая модель queueing model модель массового обслуживания queueing model модель очереди random model вероятностная модель random model стохастическая модель reduced model упрощенная модель regression model регрессионная модель relational model реляционная модель scaling model шкальная модель security model модель механизма защиты semi-poisson model полупуассоновская модель shortest-route model модель выбора кратчайшего пути sign model знаковая модель simplex model симплексная модель simulation model имитационная модель single-channel model одноканальная модель single-period model однопериодная модель single-phase model однофазовая модель single-server model одноканальная модель singular model одноуровневая модель software model вчт. программная модель solid model объемная модель sophisticated model усложненная модель standard model типовая модель static equilibrium model модель статического равновесия static inventory model статическая модель управления запасами static model статическая модель station-to-station model многошаговая модель stochastic model вероятностная модель teaching model учебная модель (машины, оборудования) three-dimensional model трехмерная модель transportation model транспортная задача transshipment model модель перевозок с промежуточными пунктами trend-free model модель с отсутствием тренда trial model испытательный образец trial model пробный образец two-echelon model двухступенчатая модель two-state model модель с двумя состояниями user model модель пользователя waiting line model модель очереди wire-frame model каркасная модель world decision model всеобщая модель решений world model модель мира -
14 computational model
Англо-русский словарь нормативно-технической терминологии > computational model
-
15 computational model
1) Техника: вычислительная модель2) Автоматика: модель вычислений, модель вычислительных операций3) Научный термин: численная модель4) Макаров: расчётная модель, расчётная схема (конструкции) -
16 numerical model
-
17 verification
- проверка (подлинности)
- долговременная маркировка
- верификация (штрихового кода)
- верификация (с точки зрения электробезопасности)
- верификация (проверка)
- верификация (доказательство правильности)
- верификация (в менеджменте качества)
- верификация
верификация
контроль
проверка
Установление соответствия принятой и переданной информации с помощью логических методов [http://www.rol.ru/files/dict/internet/#].
[ http://www.morepc.ru/dict/]
верификация
(ITIL Service Transition)
Деятельность, которая гарантирует, что новая или измененная ИТ- услуга, процесс, план или другой результат - полный, точный, надежный и соответствует своей спецификации проектирования.
См. тж. подтверждение; приёмка; подтверждение и тестирование услуг.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
verification
(ITIL Service Transition)
An activity that ensures that a new or changed IT service, process, plan or other deliverable is complete, accurate, reliable and matches its design specification.
See also acceptance; validation; service validation and testing.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
Синонимы
EN
верификация
Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
Примечания
1. Термин "верифицирован" используют для обозначения соответствующего статуса.
2. Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний и демонстраций;
- анализ документов до их выпуска.
[ ГОСТ Р ИСО 9000-2008]Тематики
EN
верификация (доказательство правильности)
контроль
проверка
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
верификация (проверка)
1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы computer system verification Процесс, имеющий целью обеспечить, чтобы данный этап в жизненном цикле системы удовлетворял требованиям, введенным на предыдущем этапе. верификация модели model verification Процесс, имеющий целью определить, правильно ли отображает данная вычислительная модель искомую концептуальную модель или математическую модель. Верификация системного кода system code verification Анализ кодирования источника на предмет его соответствия описанию в документации системного кода. 2. Подтверждение на основе объективных свидетельств того, что установленные требования были выполнены. См. валидация (аттестация). Соответствующий статус – ‘верифицировано’. Верификация может включать такие операции, как: осуществление альтернативных расчетов; сравнение научной и технической документации по новому проекту с аналогичной документацией по апробированному проекту; проведение испытаний и демонстраций; и анализ документов до их выпуска.
[Глоссарий МАГАТЭ по вопросам безопасности]Тематики
EN
верификация
Подтверждение выполнения требований путем исследования и сбора объективных свидетельств.
Примечания
1. Адаптировано из ИСО 8402 путем исключения примечаний.
2. В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии жизненного цикла соответствующей системы безопасности (общей, E/E/PES систем и программного обеспечения) путем анализа и/или тестирования демонстрацию того, что для используемых входных данных компоненты удовлетворяют во всех отношениях набору задач и требований для соответствующей стадии.
Пример
Процесс верификации включает в себя:
- просмотр выходных данных (документов, относящихся ко всем стадиям жизненного цикла систем безопасности) для того, чтобы убедиться в соответствии задачам и требованиям соответствующей стадии, с учетом конкретных входных данных для этой стадии;
- просмотр проектов;
- тестирование проектируемых продуктов для того, чтобы убедиться, что они работают в соответствии с их спецификациями;
- проверка интеграции, реализуемая внешними тестами, для всех систем, образующихся покомпонентным добавлением к исходной системе, и необходимая для того, чтобы убедиться, что все компоненты работают вместе в соответствии со спецификацией.
[ ГОСТ Р МЭК 61508-4-2007]Тематики
EN
верификация (штрихового кода)
Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
проверка (подлинности)
верификация
Процесс сопоставления субъекта с заявленными о нем сведениями. В частности процедура сравнения подписи, созданной с помощью частного ключа, с соответсвующим открытым ключом.
[ http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=5048]Тематики
Синонимы
EN
4.55 верификация (verification): Подтверждение (на основе представления объективных свидетельств) того, что заданные требования полностью выполнены [3].
Примечание - Верификация в контексте жизненного цикла представляет собой совокупность действий по сравнению полученного результата жизненного цикла с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваться ими): заданные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа
4.23 верификация (verification): Процесс, в результате которого приходят к заключению, что два изображения принадлежат одному и тому же человеку; сопоставление 1:1 («один к одному»).
Примечание - Термины и соответствующие определения к ним установлены только для использования в настоящем стандарте.
Источник: ГОСТ Р ИСО/МЭК 19794-5-2006: Автоматическая идентификация. Идентификация биометрическая. Форматы обмена биометрическими данными. Часть 5. Данные изображения лица оригинал документа
4.24 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены [3].
Примечание - Верификация в контексте жизненного цикла системы является совокупностью действий по сравнению полученного результата жизненного цикла системы с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваются только ими) установленные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 15288-2005: Информационная технология. Системная инженерия. Процессы жизненного цикла систем оригинал документа
3.36 верификация (verification): Подтверждение экспертизой и представлением объективных доказательств того, что конкретные требования полностью реализованы.
Примечания
1 В процессе проектирования и разработки верификация связана с экспертизой результатов данной работы в целях определения их соответствия установленным требованиям.
2 Термин «верифицирован» используется для обозначения соответствующих состояний проверенного объекта. (См. 2.17 title="Управление качеством и обеспечение качества - Словарь").
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000:2005]
Примечание - В качестве синонима может использоваться термин «проверка соответствия».
Источник: ГОСТ Р ИСО/МЭК 27004-2011: Информационная технология. Методы и средства обеспечения безопасности. Менеджмент информационной безопасности. Измерения оригинал документа
2.22 верификация (verification): Подтверждение на основе анализа и представления объективных свидетельств того, что установленные требования выполнены.
Примечание - При проектировании и разработке верификация означает процесс анализа результатов предпринятой деятельности с целью определения соответствия установленным к этой деятельности требованиям ([4], подпункт 3.8.4).
Источник: ГОСТ Р ИСО 14971-2006: Изделия медицинские. Применение менеджмента риска к медицинским изделиям оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь оригинал документа
2.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования выполнены.
Примечание - Верификация это набор действий, с помощью которого происходит сопоставление характеристик системы или элемента системы с установленными требованиями к характеристикам. Верификация может охватывать установленные требования, описание проекта и саму систему.
Источник: ГОСТ Р ИСО 9241-210-2012: Эргономика взаимодействия человек-система. Часть 210. Человеко-ориентированное проектирование интерактивных систем оригинал документа
2.35 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-1-2007: Газы парниковые. Часть 1. Требования и руководство по количественному определению и отчетности о выбросах и удалении парниковых газов на уровне организации оригинал документа
2.28 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по парниковым газам (2.10) на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-2-2007: Газы парниковые. Часть 2. Требования и руководство по количественной оценке, мониторингу и составлению отчетной документации на проекты сокращения выбросов парниковых газов или увеличения их удаления на уровне проекта оригинал документа
2.36 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ (2.11)на соответствие согласованным критериям верификации (2.33).
Примечание - В некоторых случаях, например при верификации первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-3-2007: Газы парниковые. Часть 3. Требования и руководство по валидации и верификации утверждений, касающихся парниковых газов оригинал документа
3.1.22 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000, статья 3.8.4]
Источник: ГОСТ ИСО 14698-1-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 1. Общие принципы и методы оригинал документа
3.116 верификация (verification): Экспертиза, призванная подтвердить, что деятельность, изделие или услуга соответствуют заданным требованиям.
Источник: ГОСТ Р 54382-2011: Нефтяная и газовая промышленность. Подводные трубопроводные системы. Общие технические требования оригинал документа
3.17 верификация (verification): Комплекс операций для проверки испытательного оборудования (например, испытательного генератора и соединительных кабелей), а также для демонстрации того, что испытательная система функционирует.
Примечание - Методы, используемые для верификации, отличаются от методов калибровки.
Источник: ГОСТ Р 51317.4.2-2010: Совместимость технических средств электромагнитная. Устойчивость к электростатическим разрядам. Требования и методы испытаний оригинал документа
3.26 верификация (verification): Процесс определения, соответствует ли качество продукта или услуги установленным требованиям.
[Справочник по безопасности МАГАТЭ, Издание 2.0, 2006]
Источник: ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа
3.7 верификация (verification): Подтверждение на основе объективных данных, что установленные требования были выполнены.
Примечание 1 -Адаптированный термин по ИСО 9000:2005, пункт 3.8.4 [1].
Примечание 2 - См. рисунок 1.
Примечание 3 - Данный термин часто используют совместно с термином «валидация», и оба термина составляют аббревиатуру «V&V» (верификация и валидация).
Источник: ГОСТ Р ИСО 11064-7-2010: Эргономическое проектирование центров управления. Часть 7. Принципы оценки оригинал документа
2.141 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Примечание - При аттестации (верификации) документированной системы контроля (2.70) могут использоваться методы текущего контроля и аудита, методики и проверки, в том числе случайный отбор проб и проведение анализа.
[ИСО 14698-1:2003, статья 3.1.22]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
3.43 верификация (verification): Подтверждение экспертизой и предоставлением иного объективного свидетельства того, что результаты функционирования соответствуют целям и требованиям, определенным для такого функционирования.
[МЭК 62138, пункт 3.35]
Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа
3.18 верификация (verification): Подтверждение экспертизой и представление иного объективного доказательства того, что результаты функционирования отвечают целям и требованиям, определенным для такого функционирования (ИСО 12207).
[МЭК 62138:2004, определение 3.35]
Источник: ГОСТ Р МЭК 60987-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования к разработке аппаратного обеспечения компьютеризованных систем оригинал документа
3.8.1 верификация (verification): Подтверждение выполнения требований путем исследования и сбора объективных свидетельств.
Примечания
1. Адаптировано из ИСО 8402 путем исключения примечаний.
2. В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии жизненного цикла соответствующей системы безопасности (общей, E/E/PES систем и программного обеспечения) путем анализа и/или тестирования демонстрацию того, что для используемых входных данных компоненты удовлетворяют во всех отношениях набору задач и требований для соответствующей стадии.
ПРИМЕР - Процесс верификации включает в себя:
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь
3.2.59 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
5.1 верификация (verification):
в контексте маркировки и декларирования: Подтверждение посредством предоставления объективных свидетельств выполнения установленных требований.
[ИСО 14025:2006];
в контексте парниковых газов: Систематический, независимый и документально оформленный процесс (6.4) для оценки утверждения по парниковым газам (9.5.2) на соответствие согласованным критериям верификации (5.12).
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована свободой от несения ответственности за подготовку данных и представление информации по парниковым газам.
[ИСО 14065:2007]
Источник: ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь оригинал документа
3.3.7 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечания
1 В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
2 В соответствии с ИСО 14064-3:2006, статья 2.36.
Источник: ГОСТ Р ИСО 14065-2010: Газы парниковые. Требования к органам по валидации и верификации парниковых газов для их применения при аккредитации или других формах признания оригинал документа
04.02.27 долговременная маркировка [ permanent marking]: Изображение, полученное с помощью интрузивного или неинтрузивного маркирования, которое должно оставаться различимым, как минимум, в течение установленного срока службы изделия.
Сравнить с терминологической статьей «соединение» по ИСО/МЭК19762-11).
______________
1)Терминологическая статья 04.02.27 не связана с указанной терминологической статьей.
<2>4 Сокращения
ECI интерпретация в расширенном канале [extended channel interpretation]
DPM прямое маркирование изделий [direct part marking]
BWA коррекция ширины штриха [bar width adjustment]
BWC компенсация ширины штриха [barwidth compensation]
CPI число знаков на дюйм [characters per inch]
PCS сигнал контраста печати [print contrast signal]
ORM оптический носитель данных [optically readable medium]
FoV поле обзора [field of view]
Алфавитный указатель терминов на английском языке
(n, k)symbology
04.02.13
add-on symbol
03.02.29
alignment pattern
04.02.07
aperture
02.04.09
auto discrimination
02.04.33
auxiliary character/pattern
03.01.04
background
02.02.05
bar
02.01.05
bar code character
02.01.09
bar code density
03.02.14
barcode master
03.02.19
barcode reader
02.04.05
barcode symbol
02.01.03
bar height
02.01.16
bar-space sequence
02.01.20
barwidth
02.01.17
barwidth adjustment
03.02.21
barwidth compensation
03.02.22
barwidth gain/loss
03.02.23
barwidth increase
03.02.24
barwidth reduction
03.02.25
bearer bar
03.02.11
binary symbology
03.01.10
characters per inch
03.02.15
charge-coupled device
02.04.13
coded character set
02.01.08
column
04.02.11
compaction mode
04.02.15
composite symbol
04.02.14
contact scanner
02.04.07
continuous code
03.01.12
corner marks
03.02.20
data codeword
04.02.18
data region
04.02.17
decodability
02.02.28
decode algorithm
02.02.01
defect
02.02.22
delineator
03.02.30
densitometer
02.02.18
depth of field (1)
02.04.30
depth of field (2)
02.04.31
diffuse reflection
02.02.09
direct part marking
04.02.24
discrete code
03.01.13
dot code
04.02.05
effective aperture
02.04.10
element
02.01.14
erasure
04.02.21
error correction codeword
04.02.19
error correction level
04.02.20
even parity
03.02.08
field of view
02.04.32
film master
03.02.18
finder pattern
04.02.08
fixed beam scanner
02.04.16
fixed parity
03.02.10
fixed pattern
04.02.03
flat-bed scanner
02.04.21
gloss
02.02.13
guard pattern
03.02.04
helium neon laser
02.04.14
integrated artwork
03.02.28
intercharacter gap
03.01.08
intrusive marking
04.02.25
label printing machine
02.04.34
ladder orientation
03.02.05
laser engraver
02.04.35
latch character
02.01.24
linear bar code symbol
03.01.01
magnification factor
03.02.27
matrix symbology
04.02.04
modular symbology
03.01.11
module (1)
02.01.13
module (2)
04.02.06
modulo
03.02.03
moving beam scanner
02.04.15
multi-row symbology
04.02.09
non-intrusive marking
04.02.26
odd parity
03.02.07
omnidirectional
03.01.14
omnidirectional scanner
02.04.20
opacity
02.02.16
optically readable medium
02.01.01
optical throw
02.04.27
orientation
02.04.23
orientation pattern
02.01.22
oscillating mirror scanner
02.04.19
overhead
03.01.03
overprinting
02.04.36
pad character
04.02.22
pad codeword
04.02.23
permanent marking
04.02.27
photometer
02.02.19
picket fence orientation
03.02.06
pitch
02.04.26
pixel
02.04.37
print contrast signal
02.02.20
printability gauge
03.02.26
printability test
02.02.21
print quality
02.02.02
quiet zone
02.01.06
raster
02.04.18
raster scanner
02.04.17
reading angle
02.04.22
reading distance
02.04.29
read rate
02.04.06
redundancy
03.01.05
reference decode algorithm
02.02.26
reference threshold
02.02.27
reflectance
02.02.07
reflectance difference
02.02.11
regular reflection
02.02.08
resolution
02.01.15
row
04.02.10
scanner
02.04.04
scanning window
02.04.28
scan, noun (1)
02.04.01
scan, noun (2)
02.04.03
scan reflectance profile
02.02.17
scan, verb
02.04.02
self-checking
02.01.21
shift character
02.01.23
short read
03.02.12
show through
02.02.12
single line (beam) scanner
02.04.11
skew
02.04.25
slot reader
02.04.12
speck
02.02.24
spectral response
02.02.10
spot
02.02.25
stacked symbology
04.02.12
stop character/pattern
03.01.02
structured append
04.02.16
substitution error
03.02.01
substrate
02.02.06
symbol architecture
02.01.04
symbol aspect ratio
02.01.19
symbol character
02.01.07
symbol check character
03.02.02
symbol density
03.02.16
symbology
02.01.02
symbol width
02.01.18
tilt
02.04.24
transmittance (l)
02.02.14
transmittance (2)
02.02.15
truncation
03.02.13
two-dimensional symbol (1)
04.02.01
two-dimensional symbol (2)
04.02.02
two-width symbology
03.01.09
variable parity encodation
03.02.09
verification
02.02.03
verifier
02.02.04
vertical redundancy
03.01.06
void
02.02.23
wand
02.04.08
wide: narrow ratio
03.01.07
X dimension
02.01.10
Y dimension
02.01.11
Z dimension
02.01.12
zero-suppression
03.02.17
<2>Приложение ДА1)
______________
1)
Источник: ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа
Англо-русский словарь нормативно-технической терминологии > verification
-
18 computation model
Техника: вычислительная модель -
19 finite state machine
= finite-state machine; = state machine; = FSMконечный автомат, КАвычислительная модель, описывающая автомат с конечным числом состояний. Одно из них называется "начальным состоянием". Автомат переходит из одного состояния в другое под влиянием "управления", зависящего от внешних воздействий: получаемых сигналов или данных. Каждое состояние отображает определённый момент истории системы, и каждому состоянию соответствуют переходы и действия. Переход - это изменение состояния, он в управлении описывается условием, которое должно быть удовлетворено, чтобы переход произошёл. Действие - это описание операции, которая должна быть выполнена при попадании в данное состояние. По типу управления КА делятся на детерминированные (находящиеся в каждый момент времени только в одном состоянии) и недетерминированные (могут одновременно находиться в нескольких состояниях). КА широко применяются в программировании, например в лексических анализаторах компиляторов.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > finite state machine
-
20 MIMD
Видеокарта; Оборудование multiple instruction, multiple data Вычислительная модель, используемая для работы TPC.English-Russian dictionary of computer abbreviations and terms > MIMD
См. также в других словарях:
вычислительная модель — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN computational model … Справочник технического переводчика
Вычислительная гидродинамика — Вычислительная гидродинамика (англ. Computational fluid dynamics, CFD) подраздел механики сплошных сред, включающий совокупность физических, математических и численных методов, предназначенных для вычисления характеристик потоковых… … Википедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
модель оператора — Аналоговое вычислительное устройство или блок аналоговой вычислительной машины, предназначенные для воспроизведения заданного оператора. [Сборник рекомендуемых терминов. Выпуск 84. Аналоговая вычислительная техника. Академия наук СССР. Комитет… … Справочник технического переводчика
Модель нарушителя — Для улучшения этой статьи желательно?: Связать … Википедия
Модель — 9. Модель Изделие, являющееся трехразмерным упрощенным изображением предмета в установленном масштабе Модель является составной частью макета Источник … Словарь-справочник терминов нормативно-технической документации
Модель биологического нейрона — Модель биологического нейрона математическое описание свойств нейронов, целью которого является точное моделирование процессов, протекающих в таких нервных клетках. В отличие от подобного точного моделирования, при создании сетей из… … Википедия
МОДЕЛЬ ВЫЧИСЛИТЕЛЬНАЯ — типовая абстрактная или конкретная задача, соответствующая проблеме численного решения нек рого класса математич. или прикладных задач. Напр., в теории квадратур рассматривают задачу вычисления интегралов от функций, удовлетворяющих нек рому… … Математическая энциклопедия
Модель погружённого атома — В вычислительной химии модель погружённого атома (англ. embedded atom model, EAM[1][2]) используется для приближенного описания энергии взаимодействия между двумя атомами. Энергия это функция от суммы функций расстояния между атомом и… … Википедия
Вычислительная машина — «Считающие часы» Вильгельма Шикарда … Википедия
модель расширенного канала — 01.05.24 модель расширенного канала [ extended channel model]: Система кодирования и передачи как байтов с данными сообщения, так и управляющей информации о сообщении, в пределах которой декодер работает в режиме расширенного канала. Примечание… … Словарь-справочник терминов нормативно-технической документации